<HTML><HEAD><TITLE>Strings and Atoms</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>Strings and Atoms</H1>
Built-ins to create, convert and decompose strings and atoms
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="append_strings-3.html"><STRONG>append_strings(?String1, ?String2, ?String3)</STRONG></A></DT>
<DD>Succeeds if String3 is the concatenation of String1 and String2.

</DD>
<DT><A HREF="atom_length-2.html"><STRONG>atom_length(+Atom, -Length)</STRONG></A></DT>
<DD>Succeeds if Length is the length of Atom.

</DD>
<DT><A HREF="atom_string-2.html"><STRONG>atom_string(?Atom, ?String)</STRONG></A></DT>
<DD>Conversion between an atom and a string.

</DD>
<DT><A HREF="concat_atom-2.html"><STRONG>concat_atom(++List, -Dest)</STRONG></A></DT>
<DD>Succeeds if Dest is the concatenation of the atomic terms contained in List.
It is more efficient to use concat_string/2 whenever possible.

</DD>
<DT><A HREF="concat_atoms-3.html"><STRONG>concat_atoms(+Src1, +Src2, -Dest)</STRONG></A></DT>
<DD>Succeeds if Dest is the concatenation of Src1 and Src2.
It is more efficient to use concat_strings/3 whenever possible.

</DD>
<DT><A HREF="concat_string-2.html"><STRONG>concat_string(++List, -Dest)</STRONG></A></DT>
<DD>Succeeds if Dest is the concatenation of the atomic terms contained in
List.

</DD>
<DT><A HREF="concat_strings-3.html"><STRONG>concat_strings(+Src1, +Src2, -Dest)</STRONG></A></DT>
<DD>Succeeds if Dest is the concatenation of Src1 and Src2.

</DD>
<DT><A HREF="integer_atom-2.html"><STRONG>integer_atom(?Integer, ?Atom)</STRONG></A></DT>
<DD>Conversion between an integer and an atom.
It is more efficient to use number_string/2 wherever possible.

</DD>
<DT><A HREF="join_string-3.html"><STRONG>join_string(++List, +Glue, -String)</STRONG></A></DT>
<DD>String is the string formed by concatenating the elements of List with
an instance of Glue beween each of them.

</DD>
<DT><A HREF="number_string-2.html"><STRONG>number_string(?Number, ?String)</STRONG></A></DT>
<DD>Conversion between any number and a string.</DD>
<DT><A HREF="split_string-4.html"><STRONG>split_string(+String, +SepChars, +PadChars, -SubStrings)</STRONG></A></DT>
<DD>Decompose String into SubStrings according to separators SepChars and
padding characters PadChars.

</DD>
<DT><A HREF="string_code-3.html"><STRONG>string_code(+String, +Index, -Code)</STRONG></A></DT>
<DD>Succeeds if Code is the value of the Index'th byte in String</DD>
<DT><A HREF="string_length-2.html"><STRONG>string_length(+String, -Length)</STRONG></A></DT>
<DD>Succeeds if Length is the length of the string String.

</DD>
<DT><A HREF="string_list-2.html"><STRONG>string_list(?String, ?List)</STRONG></A></DT>
<DD>Succeeds if List is a list whose elements are the ascii codes of the
characters of String.

</DD>
<DT><A HREF="string_list-3.html"><STRONG>string_list(?String, ?List, +Format)</STRONG></A></DT>
<DD>Conversion between string in different encodings and a character list</DD>
<DT><A HREF="substring-3.html"><STRONG>substring(+String1, +String2, ?Position)</STRONG></A></DT>
<DD>Succeeds if String2 is a substring of String1 beginning at position
Position.

</DD>
<DT><A HREF="substring-4.html"><STRONG>substring(+String1, ?Position, ?Length, ?String2)</STRONG></A></DT>
<DD>Succeeds if String2 is the substring of String1 starting at position
Position and of length Length.

</DD>
<DT><A HREF="substring-5.html"><STRONG>substring(+String, ?Before, ?Length, ?After, ?SubString)</STRONG></A></DT>
<DD>Succeeds if String2 is a substring of String, with 
    length Length, preceded by Before, and followed by After characters</DD>
</DL>
</BLOCKQUOTE>
<HR>Generated from stratom.eci on 2009-05-27 01:25
</BODY></HTML>
